Search

Your search keyword '"Sergot, Marek"' showing total 253 results
Start Over Author "Sergot, Marek"
253 results on '"Sergot, Marek"'

1. Evaluating the Apperception Engine

Author

Evans, Richard, Hernandez-Orallo, Jose, Welbl, Johannes, Kohli, Pushmeet, and Sergot, Marek

Subjects
Computer Science - Artificial Intelligence
Abstract

The Apperception Engine is an unsupervised learning system. Given a sequence of sensory inputs, it constructs a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the theory - objects, properties, and laws - must be integrated into a coherent whole. Once a theory has been constructed, it can be applied to predict future sensor readings, retrodict earlier readings, or impute missing readings. In this paper, we evaluate the Apperception Engine in a diverse variety of domains, including cellular automata, rhythms and simple nursery tunes, multi-modal binding problems, occlusion tasks, and sequence induction intelligence tests. In each domain, we test our engine's ability to predict future sensor values, retrodict earlier sensor values, and impute missing sensory data. The engine performs well in all these domains, significantly outperforming neural net baselines and state of the art inductive logic programming systems. These results are significant because neural nets typically struggle to solve the binding problem (where information from different modalities must somehow be combined together into different aspects of one unified object) and fail to solve occlusion tasks (in which objects are sometimes visible and sometimes obscured from view). We note in particular that in the sequence induction intelligence tests, our system achieved human-level performance. This is notable because our system is not a bespoke system designed specifically to solve intelligence tests, but a general-purpose system that was designed to make sense of any sensory sequence., Comment: arXiv admin note: substantial text overlap with arXiv:1910.02227

Published
2020

2. Making sense of sensory input

Author

Evans, Richard, Hernandez-Orallo, Jose, Welbl, Johannes, Kohli, Pushmeet, and Sergot, Marek

Subjects
Computer Science - Artificial Intelligence
Abstract

This paper attempts to answer a central question in unsupervised learning: what does it mean to "make sense" of a sensory sequence? In our formalization, making sense involves constructing a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the causal theory -- objects, properties, and laws -- must be integrated into a coherent whole. On our account, making sense of sensory input is a type of program synthesis, but it is unsupervised program synthesis. Our second contribution is a computer implementation, the Apperception Engine, that was designed to satisfy the above requirements. Our system is able to produce interpretable human-readable causal theories from very small amounts of data, because of the strong inductive bias provided by the unity conditions. A causal theory produced by our system is able to predict future sensor readings, as well as retrodict earlier readings, and impute (fill in the blanks of) missing sensory readings, in any combination. We tested the engine in a diverse variety of domains, including cellular automata, rhythms and simple nursery tunes, multi-modal binding problems, occlusion tasks, and sequence induction intelligence tests. In each domain, we test our engine's ability to predict future sensor values, retrodict earlier sensor values, and impute missing sensory data. The engine performs well in all these domains, significantly out-performing neural net baselines. We note in particular that in the sequence induction intelligence tests, our system achieved human-level performance. This is notable because our system is not a bespoke system designed specifically to solve intelligence tests, but a general-purpose system that was designed to make sense of any sensory sequence.

Published
2019

3. Actual Cause and Chancy Causation in Stit: A Preliminary Account

Author

Sergot, Marek, Bueno, Otávio, Editor-in-Chief, Brogaard, Berit, Editorial Board Member, Chakravartty, Anjan, Editorial Board Member, French, Steven, Editorial Board Member, Dutilh Novaes, Catarina, Editorial Board Member, Rowbottom, Darrell P., Editorial Board Member, Ruttkamp, Emma, Editorial Board Member, Miller, Kristie, Editorial Board Member, McNamara, Paul, editor, Jones, Andrew J. I., editor, and Brown, Mark A., editor

Published
2022
Full Text
View/download PDF

9. Reactive Reasoning with the Event Calculus

Author

Artikis, Alexander, Sergot, Marek, and Paliouras, Georgios

Subjects
Computer Science - Artificial Intelligence
Abstract

Systems for symbolic event recognition accept as input a stream of time-stamped events from sensors and other computational devices, and seek to identify high-level composite events, collections of events that satisfy some pattern. RTEC is an Event Calculus dialect with novel implementation and 'windowing' techniques that allow for efficient event recognition, scalable to large data streams. RTEC can deal with applications where event data arrive with a (variable) delay from, and are revised by, the underlying sources. RTEC can update already recognised events and recognise new events when data arrive with a delay or following data revision. Our evaluation shows that RTEC can support real-time event recognition and is capable of meeting the performance requirements identified in a recent survey of event processing use cases., Comment: International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 9-15, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-150562. 2014,1

Published
2015

10. The Representation of Legal Contracts

Author

Daskalopulu, Aspassia and Sergot, Marek

Subjects
Computer Science - Artificial Intelligence, Computer Science - Computers and Society, I.2
Abstract

The paper outlines ongoing research on logic-based tools for the analysis and representation of legal contracts of the kind frequently encountered in large-scale engineering projects and complex, long-term trading agreements. We consider both contract formation and contract performance, in each case identifying the representational issues and the prospects for providing automated support tools.

Published
2001

11. A Constraint-Driven System for Contract Assembly

Author

Daskalopulu, Aspassia and Sergot, Marek

Subjects
Computer Science - Artificial Intelligence, I.2, H.4.1
Abstract

We present an approach for modelling the structure and coarse content of legal documents with a view to providing automated support for the drafting of contracts and contract database retrieval. The approach is designed to be applicable where contract drafting is based on model-form contracts or on existing examples of a similar type. The main features of the approach are: (1) the representation addresses the structure and the interrelationships between the constituent parts of contracts, but not the text of the document itself; (2) the representation of documents is separated from the mechanisms that manipulate it; and (3) the drafting process is subject to a collection of explicitly stated constraints that govern the structure of the documents. We describe the representation of document instances and of 'generic documents', which are data structures used to drive the creation of new document instances, and we show extracts from a sample session to illustrate the features of a prototype system implemented in MacProlog.

Published
2001

13. Specifying and Executing Open Multi-agent Systems

Author

Artikis, Alexander, Sergot, Marek, Pitt, Jeremy, Busquets, Dídac, Riveret, Régis, Casanovas, Pompeu, Series editor, Sartor, Giovanni, Series editor, Aldewereld, Huib, editor, Boissier, Olivier, editor, Dignum, Virginia, editor, Noriega, Pablo, editor, and Padget, Julian, editor

Published
2016
Full Text
View/download PDF

15. Argumentation and Answer Set Programming

Author

Toni, Francesca, Sergot, Marek, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Balduccini, Marcello, editor, and Son, Tran Cao, editor

Published
2011
Full Text
View/download PDF

19. Verifying Temporal and Epistemic Properties of Web Service Compositions

Author

Lomuscio, Alessio, Qu, Hongyang, Sergot, Marek, Solanki, Monika, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Krämer, Bernd J., editor, Lin, Kwei-Jay, editor, and Narasimhan, Priya, editor

Published
2007
Full Text
View/download PDF

20. Towards a Mechanism for Discretionary Overriding of Access Control

Author

Rissanen, Erik, Firozabadi, Babak Sadighi, Sergot, Marek, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Christianson, Bruce, editor, Crispo, Bruno, editor, Malcolm, James A., editor, and Roe, Michael, editor

Published
2006
Full Text
View/download PDF

21. The Deontic Component of Action Language

Author

Sergot, Marek, Craven, Robert, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goble, Lou, editor, and Meyer, John-Jules Ch., editor

Published
2006
Full Text
View/download PDF

24. A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks

Author

Artikis, Alexander, Kamara, Lloyd, Pitt, Jeremy, Sergot, Marek, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Leite, João, editor, Omicini, Andrea, editor, Torroni, Paolo, editor, and Yolum, pInar, editor

Published
2005
Full Text
View/download PDF

25. Inference of Gene Relations from Microarray Data by Abduction

Author

Papatheodorou, Irene, Kakas, Antonis, Sergot, Marek, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

26. Some Logical Properties of Nonmonotonic Causal Theories

Author

Sergot, Marek, Craven, Robert, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

27. Contractual Access Control

Author

Firozabadi, Babak Sadighi, Sergot, Marek, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Christianson, Bruce, editor, Crispo, Bruno, editor, Malcolm, James A., editor, and Roe, Michael, editor

Published
2004
Full Text
View/download PDF

30. A Tableaux System for Deontic Interpreted Systems

Author

Governatori, Guido, Lomuscio, Alessio, Sergot, Marek J., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Gedeon, Tamás (Tom) Domonkos, editor, and Fung, Lance Chun Che, editor

Published
2003
Full Text
View/download PDF

32. Bob Kowalski: A Portrait

Author

Sergot, Marek, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Kakas, Antonis C., editor, and Sadri, Fariba, editor

Published
2002
Full Text
View/download PDF

34. Power and Permission in Security Systems

Author

Firozabadi, Babak Sadighi, Sergot, Marek, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Christianson, Bruce, editor, Crispo, Bruno, editor, Malcolm, James A., editor, and Roe, Michael, editor

Published
2000
Full Text
View/download PDF

45. From the Editors

Author

Jones, Andrew J. I. and Sergot, Marek

Published
1996

Catalog

Books, media, physical & digital resources
See catalog results