AIICS Publications: Books
Hide abstracts BibTeX entries | ||
2022 | ||
[10] |
2022. Värderingar, Liberalism och Islam. Book.
Linköping University Electronic Press. 244 pages. ISBN: 9789179293772, 9789179293949. DOI: 10.3384/9789179293772. Note: Granskning:Boken Ă€r granskad av en extern granskare. Fulltext: https://doi.org/10.3384/9789179293772 Diskutera boken: http://www.liberalkommentar.se/sv/intro-... Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/l1347vcdj8w2pr7... preview image: https://liu.diva-portal.org/smash/get/di... Boken beskriver en tolkning av politisk liberalism som hĂ€r kallas paraliberalism och som betonar vĂ€rderingarnas betydelse bĂ„de för individen och för samhĂ€llet. VĂ€rderingar ses som en central del av individens autonomi, alltsĂ„ hennes förmĂ„ga till sjĂ€lvstĂ€ndigt tĂ€nkande och handlande med hjĂ€lp av kunskap och förnuft, och styrt av ansvarskĂ€nnande vĂ€rderingar och förhĂ„llningssĂ€tt. Autonomi innebĂ€r alltsĂ„ frihet under eget ansvar.I begreppet vĂ€rderingar ingĂ„r ocksĂ„ mĂ€nniskors förhĂ„llningssĂ€tt i situationer som de möter. Varje mĂ€nniska har sina egna vĂ€rderingar, men hon förvĂ€ntas utveckla dem genom deltagande i en vĂ€rdekultur dĂ€r vĂ€rderingar diskuteras, tillĂ€mpas och prövas, och dĂ€r deltagarna kan komma att revidera sina vĂ€rderingar. VĂ€rderingar kan alltsĂ„ variera efter lokala förhĂ„llanden, men paraliberalismen anger tvĂ„ kardinalvĂ€rderingar som har övergripande betydelse, nĂ€mligen dels omsorgen om individens autonomi, dels ocksĂ„ mĂ€nsklighetens ansvar för den egna planeten.Den senare kardinalvĂ€rderingen krĂ€ver att alla stater samarbetar, vilket ur filosofisk synpunkt betyder att synen pĂ„ nationsbegreppet och nationalismen behöver omprövas. Autonomibegreppet tillĂ€mpas dĂ€rför inte bara pĂ„ individer utan ocksĂ„ pĂ„ stater vilka förutsĂ€tts styras av vĂ€rderingar pĂ„ samma sĂ€tt som individer gör det. Vidare förutsĂ€tts att stater klargör och försvarar sina samhĂ€llsgrundande vĂ€rderingar, och en nation ses som den huvuddel av statens medborgare som omfattar dessa vĂ€rderingar.I den sista av bokens fem delar anvĂ€nds paraliberalismen som utgĂ„ngspunkt för studiet av de tolkningar av islam som nĂ„gra framstĂ„ende islamiska lĂ€rde har framfört i böcker och artiklar. Eftersom paraliberalismen Ă€r tydligt definierad lĂ€mpar den sig bra som bas för meningsutbyte med livsĂ„skĂ„dningar som tydligt skiljer sig frĂ„n liberalismen. |
.
|
2020 | ||
[9] |
2020. Att undervisa textbaserad programmering i skolan. Book.
Studentlitteratur. 256 pages. ISBN: 9789144130644. Note: Upplaga 1 Link: http://libris.kb.se/bib/1d5q2kllzjq18z3v |
.
|
2015 | ||
[8] |
2015. Samtal om Sveriges nation. Book.
Volibri förlag och IT. 154 pages. ISBN: 9789163792267. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=9... Demokratin ifrĂ„gasĂ€tts i dagens vĂ€rld genom att auktoritĂ€ra och fundamentalistiska ideologier av flera slag förs fram som alternativ. De tillĂ€mpas i praktiken i ett flertal lĂ€nder, men de sprids ocksĂ„ genom aktiv propaganda. Den hĂ€r boken utgĂ„r frĂ„n förestĂ€llningen att detta utgör en utmaning Ă€ven för vĂ„rt land, och den föreslĂ„r framförallt tvĂ„ Ă„tgĂ€rder för att möta den utmaningen.Ett förslag Ă€r att precisera samhĂ€llets demokratiska grundsatser och att komplettera dem med nĂ„gra ytterligare punkter, sĂ„som följande. En princip om assimilationsfrihet formuleras, alltsĂ„ en rĂ€ttighet att byta etnisk, religiös eller politisk tillhörighet om man vill, och samtidigt förstĂ„s en rĂ€ttighet att bevara den man har. I boken föreslĂ„s utvidgat skydd för dessa rĂ€ttigheter. LikasĂ„ införs begreppet religionism, alltsĂ„ hĂ€vdandet att en viss religion Ă€r överlĂ€gsen andra och Ă€r förutbestĂ€md att ta över, och det föreslĂ„s att religionism ska likstĂ€llas med rasism.Det andra huvudförslaget Ă€r att betrakta nationen som bĂ€raren av detta utvidgade demokratibegrepp, men dĂ„ handlar det om nationen i en annan bemĂ€rkelse Ă€n vad dagens `nationalister' förestĂ€ller sig. Boken anknyter till skillnaden mellan etnisk och samhĂ€llelig nationalism (`civic nationalism' pĂ„ engelska). I den förra sökerman göra en etnisk grupp till en nation, i den senare ses nationen som fundamentet för staten och samhĂ€llet, och som den samlande faktorn för alla medborgare som ansluter sig till det demokratiska samhĂ€llets principer.Boken hĂ€vdar ocksĂ„ att en kunskap om Sveriges historia ur politisk och religiös synpunkt Ă€r viktig för att kunna relatera till de frĂ€mmande ideologierna och för attförstĂ„ hur vĂ„r samhĂ€llsmodell förhĂ„ller sig till deras. |
.
|
2008 | ||
[7] |
2008. Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications. Book.
In series: Studies in Logics #12. College Publications. 308 pages. ISBN: 978-1-904987-56-7, 1-904-98-756-7. link: http://www.amazon.com/Second-Order-Quant... In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and software engineering to agent-based systems and the semantic web. In the investigation and application of logical methods there is a tension between: * the need for a representational language strong enough to express domain knowledge of a particular application, and the need for a logical formalism general enough to unify several reasoning facilities relevant to the application, on the one hand, and * the need to enable computationally feasible reasoning facilities, on the other hand. Second-order logics are very expressive and allow us to represent domain knowledge with ease, but there is a high price to pay for the expressiveness. Most second-order logics are incomplete and highly undecidable. It is the quantifiers which bind relation symbols that make second-order logics computationally unfriendly. It is therefore desirable to eliminate these second-order quantifiers, when this is mathematically possible; and often it is. If second-order quantifiers are eliminable we want to know under which conditions, we want to understand the principles and we want to develop methods for second-order quantifier elimination. This book provides the first comprehensive, systematic and uniform account of the state-of-the-art of second-order quantifier elimination in classical and non-classical logics. It covers the foundations, it discusses in detail existing second-order quantifier elimination methods, and it presents numerous examples of applications and non-standard uses in different areas. These include: * classical and non-classical logics, * correspondence and duality theory, * knowledge representation and description logics, * commonsense reasoning and approximate reasoning, * relational and deductive databases, and * complexity theory. The book is intended for anyone interested in the theory and application of logics in computer science and artificial intelligence. |
.
|
2006 | ||
[6] |
2006. Joint cognitive systems: Patterns in cognitive systems engineering. Book.
CRC/Taylor & Francis. 232 pages. ISBN: 978-0-8493-3933-2, 0-8493-3933-2. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=9... link: http://www.amazon.com/Joint-Cognitive-Sy... Our fascination with new technologies is based on the assumption that more powerful automation will overcome human limitations and make our systems 'faster, better, cheaper,' resulting in simple, easy tasks for people. But how does new technology and more powerful automation change our work? Research in Cognitive Systems Engineering (CSE) looks at the intersection of people, technology, and work. What it has found is not stories of simplification through more automation, but stories of complexity and adaptation. When work changed through new technology, practitioners had to cope with new complexities and tighter constraints. They adapted their strategies and the artifacts to work around difficulties and accomplish their goals as responsible agents. The surprise was that new powers had transformed work, creating new roles, new decisions, and new vulnerabilities. Ironically, more autonomous machines have created the requirement for more sophisticated forms of coordination across people, and across people and machines, to adapt to new demands and pressures. This book synthesizes these emergent Patterns though stories about coordination and mis-coordination, resilience and brittleness, affordance and clumsiness in a variety of settings, from a hospital intensive care unit, to a nuclear power control room, to a space shuttle control center. The stories reveal how new demands make work difficult, how people at work adapt but get trapped by complexity, and how people at a distance from work oversimplify their perceptions of the complexities, squeezing practitioners. The authors explore how CSE observes at the intersection of people, technology, and work, how CSE abstracts patterns behind the surface details and wide variations, and how CSE discovers promising new directions to help people cope with complexities. The stories of CSE show that one key to well-adapted work is the ability to be prepared to be surprised. Are you ready? |
.
|
[5] |
2006. Knowledge Representation Techniques.: a rough set approach. Book.
In series: Studies in Fuzziness and Soft Computing #202. Springer. 342 pages. ISBN: 978-3-540-33518-4, 3-540-33518-8. DOI: 10.1007/3-540-33519-6. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=9... The basis for the material in this book centers around a long term research project with autonomous unmanned aerial vehicle systems. One of the main research topics in the project is knowledge representation and reasoning. The focus of the research has been on the development of tractable combinations of approximate and nonmonotonic reasoning systems. The techniques developed are based on intuitions from rough set theory. Efforts have been made to take theory into practice by instantiating research results in the context of traditional relational database or deductive database systems. This book contains a cohesive, self-contained collection of many of the theoretical and applied research results that have been achieved in this project and for the most part pertain to nonmonotonic and approximate reasoning systems developed for an experimental unmanned aerial vehicle system used in the project. This book should be of interest to the theoretician and applied researcher alike and to autonomous system developers and software agent and intelligent system developers. |
.
|
1998 | ||
[4] |
1998. Wnioskowanie w logikach nieklasycznych: Automatyzacja wnioskowania. Book.
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ). 159 pages. ISBN: 83-7101-403-1, 978-83-7101-403-1. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=83-7101... |
.
|
1995 | ||
[3] |
1995. Wnioskowanie w logikach nieklasycznych: Podstawy teoretyczne. Book.
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ). 247 pages. ISBN: 9788371012884. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=9788371... Prezentowana ksiÄ ĆŒka stanowi drugi tom dwutomowej monografii poĆwieconej wnioskowaniu w logikach nieklasycznych. Opracowanie to obejmuje takie formalizmy jak logiki modalne, logiki wielowartoĆciowe i mechanizmy wnioskowania niemonotonicznego. W pierwszym tomie przedstawione zostaĆy podstawy teoretyczne wnioskowania w wybranych logikach nieklasycznych. Tom drugi poĆwiÄcony jest zagadnieniom automatyzacji procesu wnioskowania. |
.
|
1992 | ||
[2] |
1992. Zarys dedukcyjnych metod automatycznego wnioskowania. Book.
Academic Pub. RM (Akademicka Oficyna Wydawnicza RM). 120 pages. ISBN: 83-9004-517-6, 978-83-9004-517-7. |
.
|
1991 | ||
[1] |
1991. Loglan. Book.
Wydawnictwa Naukowo-Techniczne WNT. 172 pages. ISBN: 83-2041-295-1, 978-83-2041-295-6. Note: In Polish; Volume 78, Biblioteka InĆŒynierii Oprogramowania Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=83-2041... |
.
Page responsible: Patrick Doherty
Last updated: 2014-04-30