Mục này được đóng góp bởi Assist Co, Ltd ()

tức là, nó thường được thể hiện bằng các từ khóa như ``AI,'' ``công cụ tự động hóa đưa ra quyết định'' và ``công cụ phát triển tốc độ cực cao'' Mỗi từ khóa là một cách diễn đạt đúng thể hiện một khía cạnh của Corticon, nhưng nếu chúng ta diễn đạt Corticon từ góc độ kỹ thuật hơn, chúng ta có thể nói rằng ``Corticon là một loại ngôn ngữ lập trình'' Corticon khác với các ngôn ngữ lập trình thông thường ở chỗ nó đi kèm với một thuật toán (DETI) tiêu chuẩn để thực hiện hiệu quả khớp mẫu và màn hình GUI giống như Excel, đồng thời vì bạn chỉ cần viết các điều kiện và quy tắc khác trên màn hình đó nên thoạt nhìn nó không giống ngôn ngữ lập trình Tuy nhiên, nếu bạn theo dõi chi tiết dữ liệu đầu vào/đầu ra, mô tả quy tắc và quá trình xử lý, bạn sẽ bắt đầu thấy một mặt của Corticon là ngôn ngữ lập trình

Để giải thích chi tiết hơn về loại ngôn ngữ lập trình Corticon, ``Corticon là ngôn ngữ lập trình khai báo và là ngôn ngữ lập trình dành riêng cho miền chuyên xử lý đệ quy dữ liệu đầu vào (XML có cấu trúc cây, vv)''

Sau đây là sơ đồ phân loại so sánh Corticon và các ngôn ngữ lập trình khác

Trên sơ đồ phân loại này, Corticon gần giống với SQL, XSLT, vv Đặc biệt, XSLT có thể nói là một ngôn ngữ rất giống với Corticon vì dữ liệu cần xử lý chủ yếu là XML có cấu trúc cây, nội dung xử lý và triển khai đều mang tính khai báo và đệ quy
Ngoài ra, cách tiếp cận triển khai các quy tắc của Corticon có những đặc điểm mạnh mẽ của lập trình khai báo/chức năng Tuy nhiên, mặt khác, Corticon có một chức năng gọi là luồng quy tắc cho phép bạn đặt thứ tự xử lý, nhánh, vòng lặp, vv và bằng cách sử dụng chức năng luồng quy tắc này, bạn có thể triển khai các chương trình theo cách tương tự như các chương trình bắt buộc/thủ tục Đây là lý do tại sao Corticon nghiêng gần hơn một chút với các loại mệnh lệnh/thủ tục trên sơ đồ phân loại

Trong các dự án thực tế, mặc dù có thể có một số lượng lớn các điều kiện (quy tắc) hoặc tổ hợp các điều kiện phức tạp, nhưng mỗi điều kiện thường đơn giản và bất kể lượng dữ liệu đầu vào/đầu ra là bao nhiêu, cấu trúc thường là một cấu trúc cây tương đối đơn giản nên chúng ta thường không biết rằng Corticon là ngôn ngữ lập trình
However, in rare cases, it may be necessary to implement a relatively complex algorithm, and in such cases, it is necessary to implement Corticon while being aware of its aspects as a programming language

Trong bài viết này, chúng tôi sẽ giải thích hành vi độc đáo của Corticon và cách triển khai thuật toán bằng cách sử dụng mẫu tự động tạo tỷ lệ cá cược bóng đá thay đổi

[Môi trường viết bài]
Corticon 55230 và 5616

Trước hết, điều kiện để các quy tắc tự động tạo tỷ lệ cá cược bóng đá shift là từ 1 đến 4 bên dưới

Để quy tắc dễ hiểu dưới dạng mẫu, thông tin người phụ trách bao gồm số người có thể thay đổi (giá trị đầu vào) nhưng số lượng khung và thông tin được cố định và ghi trực tiếp trên tỷ lệ cá cược bóng đá quy tắc giống EXCEL

■Tạo Từ Vựng

The vocabulary (ecore), which is a sample input/output structure definition for automatically generating this shift table, was created with the following settings

<tỷ lệ cá cược bóng đá cài đặt từ vựng>

■Tạo tỷ lệ cá cược bóng đá quy tắc và bài kiểm tra (giá trị đầu vào)

Tiếp theo, tôi tạo tỷ lệ cá cược bóng đá quy tắc sau

Trong phần phạm vi, bạn đã đặt 5 thực thể "người phụ trách" giống nhau và đặt bí danh riêng cho chúng: "phụ trách khung 1", "phụ trách khung 2", "phụ trách khung 3", "phụ trách khung 4", "phụ trách khung 5" và cho thực thể "khung không thể" dưới mỗi bí danh, "khung không thể 1", "khung không thể 2", "khung không thể 3", "Không thể có khung 4", Xin lưu ý rằng tôi đã đặt bí danh là "Không có khung 5"

Tôi đã tạo một thử nghiệm nhắm mục tiêu vào tỷ lệ cá cược bóng đá quy tắc này và tạo thông tin ba người sau đây làm giá trị đầu vào （※)

■Kết quả thực hiện quy tắc và giải thích

Khi bạn chạy thử nghiệm mà bạn đã tạo, kết quả đầu ra sẽ như sau

You can see that from the person in charge information you entered, two shift tables with combinations that match the conditions are automatically output
Tôi sẽ giải thích tại sao có thể thu được kết quả đầu ra như vậy bằng các quy tắc và giá trị đầu vào đã tạo, bắt đầu bằng các thao tác cơ bản của Corticon trong phần 1 đến 3 bên dưới

1 Xử lý đệ quy cho tất cả dữ liệu đầu vào
Theo mặc định, Corticon xử lý đệ quy tất cả giá trị đầu vào cho các thực thể mà nó cho là đã được xử lý Do đó, nếu bạn muốn lặp qua tất cả các giá trị đầu vào thì không cần phải thực hiện bất kỳ thông số kỹ thuật đặc biệt nào （※)

2Bí danh và bộ lọc phạm vi
Khi bạn đặt bí danh cho một thực thể trong phần phạm vi của tỷ lệ cá cược bóng đá quy tắc, dữ liệu của thực thể ban đầu sẽ tạm thời được sao chép dưới dạng dữ liệu để tính toán bí danh Nếu có đánh giá liên quan đến bí danh đó trong tỷ lệ cá cược bóng đá quy tắc, dữ liệu đó sẽ được sử dụng để tính toán （※)
Bạn cũng có thể đặt nhiều bí danh cho cùng một thực thể Trong trường hợp như vậy, dữ liệu của thực thể ban đầu sẽ được sao chép sang từng bí danh và ngay cả khi thực thể ban đầu giống nhau thì dữ liệu đó có thể được xử lý như thể đó là dữ liệu của một thực thể khác trong trang quy tắc
Nếu bạn đặt bộ lọc cho bí danh, dữ liệu tính toán đã sao chép sẽ được lọc

3 Đánh giá vòng tròn
Trong Corticon, khi nhiều thực thể hoặc bí danh được viết ở một nơi trong phần điều kiện hoặc hành động, thuật toán khớp mẫu sẽ đánh giá tất cả các kết hợp của từng dữ liệu bằng cách sử dụng vũ lực
Ví dụ: nếu bạn nhập "Thực thể A Thuộc tính A = Thực thể B Thuộc tính B" trong phần điều kiện của tỷ lệ cá cược bóng đá quy tắc và có nhiều dữ liệu cho Thực thể A và Thực thể B, thì điều đó sẽ được xác định xem tất cả các kết hợp của "Thực thể A Thuộc tính A" và "Thực thể B Thuộc tính B" có khớp hay không Nói cách khác, nếu có 10 thực thể A và 50 thực thể B thì sẽ có 10 * 50 = 500 quyết định được đưa ra Điều này đúng ngay cả khi đó là bí danh chứ không phải thực thể

Trong quy tắc này, các ứng cử viên trong tỷ lệ cá cược bóng đá thay đổi được tạo dựa trên sự kết hợp của ba hành vi Corticon cơ bản này
Cụ thể, luồng dữ liệu và xử lý trong mẫu này như sau: ① đến ⑤

① Có ba giá trị đầu vào cho thực thể "người phụ trách":

② Do cài đặt bí danh phạm vi, ba dữ liệu của thực thể "người phụ trách" được sao chép dưới dạng dữ liệu tính toán cho mỗi bí danh

③ Dữ liệu tính toán cho từng bí danh được lọc theo cài đặt bộ lọc Điều kiện lọc là tên khung tương ứng có được đưa vào thực thể con "Không thể đóng khung" theo thông tin của mỗi người hay không

④Bí danh của người liền kề được so sánh với nhau theo quy tắc ở phần điều kiện Do đó, tất cả các kết hợp dữ liệu tính toán cho các bí danh liền kề đều được đánh giá theo cách vòng tròn Quy tắc trong phần điều kiện là ``cùng một người phụ trách không xuất hiện liên tiếp giữa những người phụ trách liền kề với bí danh''

⑤ Do đánh giá tất cả các tuyến đường, chỉ tạo dữ liệu đầu ra bằng cách sử dụng toán tử mới trong phần hành động nếu các tuyến đường không liên quan đến cùng một người ở cạnh nhau Trong trường hợp này, có hai loại đường dẫn tìm kiếm chính xác, do đó hai thực thể "tỷ lệ cá cược bóng đá thay đổi" mới sẽ được tạo

Mọi chuyện thế nào? Corticon là một loại ngôn ngữ lập trình Turing-complete nên nó có thể giải quyết những vấn đề như thế này

Ngoài ra, mặc dù chủ đề của bài viết này là tỷ lệ cá cược bóng đá dịch chuyển nhưng các thuật toán tương tự (bài toán chiếc ba lô, bài toán đường đi ngắn nhất, vv)
là

Tuy nhiên, tỷ lệ cá cược bóng đá dịch đơn giản như tỷ lệ cá cược bóng đá này chỉ là mẫu để giải thích và có thể khó áp dụng trong thực tế

tỷ lệ cá cược bóng đá thay đổi này được tạo dựa trên giả định rằng thông tin về người phụ trách có thể thay đổi, vì vậy nếu bạn thực hiện một số thay đổi dựa trên tỷ lệ cá cược bóng đá thay đổi này, bạn có thể thêm nhiều điều kiện khác nhau cho người phụ trách Tuy nhiên, để đơn giản hóa các quy tắc và từ vựng, chúng ta giả sử rằng số lượng thông tin khung được cố định là 5 và không có điều kiện nào cho khung Trong một tỷ lệ cá cược bóng đá dịch chuyển thực tế, có thể có những yêu cầu như ``Tôi cũng muốn thay đổi số lượng vị trí'' hoặc ``Tôi cũng muốn đặt một số điều kiện trên các khung'' (nói cách khác, tôi cũng muốn tham số hóa thông tin khung làm dữ liệu đầu vào) Đối với những yêu cầu như vậy, bạn sẽ cần triển khai thuật toán phức tạp hơn một chút, chẳng hạn như bằng cách tận dụng khả năng lặp của luồng quy tắc

Trong bài viết tiếp theo, chúng tôi sẽ giới thiệu một mẫu tỷ lệ cá cược bóng đá shift chuyên nghiệp hơn, trong đó thông tin khung cũng được tham số hóa làm dữ liệu đầu vào