Logic Programs Norms and Action

In effect, the conditions Ki of the i-th rule implicitly include the negations of all of the conditions of the previous i-1 rules. Actions ai are atomic formulae, representing a primitive action, an invocation of another TR program, ...

Logic Programs  Norms and Action

This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s scientific contributions range over many different fields. He has developed a series of novel ideas and formal methods bridging areas including artificial intelligence, computational logic, philosophical logic, legal theory, artificial intelligence and law, multi-agent systems and bioinformatics. By combining his background in logic and computing with his interest in the law, deontic logic, action, and related areas, and applying to all his capacity to understand the subtleties of social interaction and normative reasoning, Professor Sergot has opened up new directions of research, and has been a reference, an inspiration, and a model for many researchers in the fields to which he has contributed. The Festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.

More Books:

Logic Programs, Norms and Action
Language: en
Pages: 425
Authors: Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis
Categories: Computers
Type: BOOK - Published: 2012-04-25 - Publisher: Springer

This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s scientific contributions range over many different fields. He has developed a series of novel ideas and formal methods bridging areas including artificial intelligence, computational logic, philosophical
What Are Norms?
Language: en
Pages: 212
Authors: Francesca M. Cancian, Francesca Micaela Cancian
Categories: Social Science
Type: BOOK - Published: 1975-04-25 - Publisher: Cambridge University Press

What are Norms? challenges the traditional Parsonian theory of the basis of social order and proposes a theoretical perspective that emphasises shared definitions of reality rather than personal motivation. The book begins by describing conceptions of good and bad in a Maya community. Then it explores how such normative beliefs
The Paradoxes of Action
Language: en
Pages: 139
Authors: Daniel González Lagier
Categories: Philosophy
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

This book suggests answers, or at least presents conceptual tools for finding answers, to questions such as: What is an action, and what is an omission? Can actions be counted? What is the role of intention for the identification of actions? The author offers an original approach to the analysis
On Law and Reason
Language: en
Pages: 443
Authors: Aleksander Peczenik
Categories: Law
Type: BOOK - Published: 2014-01-12 - Publisher: Springer Science & Business Media

'This is an outline of a coherence theory of law. Its basic ideas are: reasonable support and weighing of reasons. All the rest is commentary.’ These words at the beginning of the preface of this book perfectly indicate what On Law and Reason is about. It is a theory about
Is Rational Choice Theory All of Social Science?
Language: en
Pages: 336
Authors: Mark I. Lichbach
Categories: Political Science
Type: BOOK - Published: 2009-12-11 - Publisher: University of Michigan Press

Advocates of rational choice theory in political science have been perceived by their critics as attempting to establish an intellectual hegemony in contemporary social science, to the detriment of alternative methods of research. The debate has gained a nonacademic audience, hitting the pages of the New York Times and the